;;
mu.bimap id eta = rho mu.bimap eta id = lambda
